141. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
Author: edited by Kenneth J. Turner
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming , Formal languages
Classification :
QA
76
.
6
.
U848
1993


142. 16th International Conference on Software Engineering
Author: International Conference on Software Engineering )4991: Sorrento, Italy(
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic digital computers- Programming- Congresses,، Software engineeing- Congresses,، Programming languages )Electronic computers(- Congresses
Classification :
QA
76
.
6
I573

